#include "types.h"
#define BACKSPACE 0x100

void uart_putc(char c);

void cons_putc(int c){
     if (c == BACKSPACE) {
        // 退格处理：空格 + 退格
        uart_putc('\b');
        uart_putc(' ');
        uart_putc('\b');
    } else {
        uart_putc(c);
    }
}

void cons_puts(char *s) {
    while (*s) {
        cons_putc(*s++);
    }
}